;; The first four lines of this file were added by Dracula.
;; They tell DrScheme that this is a Dracula Modular ACL2 program.
;; Leave these lines unchanged so that DrScheme can properly load this file.
#reader(planet "reader.rkt" ("cce" "dracula.plt") "modular" "lang")
(require "MTrim.lisp")
(require "MCommon.lisp")
(require "mImage.lisp")


(module TCrop
  (include-book "testing" :dir :teachpacks)
  (include-book "doublecheck" :dir :teachpacks)
  (include-book "avl-rational-keys" :dir :teachpacks)
  
  (import ICommon)
  (import ITrim)
  (import IImage)
  
  (check-expect (check-rows (setHeight (setWidth (avl-insert
                    (avl-insert
                     (avl-insert
                      nil
                      1 (avl-insert
                         (avl-insert
                          (avl-insert nil 1 '(0 0 0)) 2 '(0 0 0)) 3 '(1 1 1)))
                     2 (avl-insert
                        (avl-insert 
                         (avl-insert nil 1 '(0 0 0)) 2 '(1 1 1)) 3 '(1 1 1)))
                     3 (avl-insert
                        (avl-insert
                         (avl-insert nil 1 '(0 0 0)) 2 '(0 0 0)) 3 '(0 0 0))) 3) 3)
                  '(1 1 1) 1)
                '(3 3 2 3 nil nil))
  
  (check-expect (getpoints '(3 3 2 3 nil nil) 1 3 1 1 3 nil) '(2 1 3 2))
  
  (check-properties))

(link tstTrim (mCommon mImage mTrim tTrim))

(invoke tstTrim)